YI, KWANGKEUN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

Hakjoo Oh, Kwangkeun Yi

Journal:

Software: Practice and Experience

Year:

2010

Language:

english

File:

PDF, 711 KB

english, 2010

2

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Practical memory leak detector based on parameterized procedural summaries

Jung, Yungbum, Yi, Kwangkeun

Year:

2008

Language:

english

File:

PDF, 261 KB

english, 2008

3

Proofs about a folklore let-polymorphic type inference algorithm

Lee, Oukseh, Yi, Kwangkeun

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 266 KB

english, 1998

4

Widening with thresholds via binary search

Kim, Sol, Heo, Kihong, Oh, Hakjoo, Yi, Kwangkeun

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 140 KB

english, 2015

5

Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis

Heo, Kihong, Oh, Hakjoo, Yi, Kwangkeun

Journal:

Software: Practice and Experience

Year:

2017

Language:

english

File:

PDF, 1.56 MB

english, 2017

6

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Crellvm: verified credible compilation for LLVM

Kang, Jeehoon, Hur, Chung-Kil, Yi, Kwangkeun, Kim, Yoonseung, Song, Youngju, Lee, Juneyoung, Park, Sanghoon, Shin, Mark Dongyeon, Kim, Yonghyun, Cho, Sungkeun, Choi, Joonwon

Year:

2018

Language:

english

File:

PDF, 456 KB

english, 2018

7

A proof method for the correctness of modularized 0CFA

Oukseh Lee, Kwangkeun Yi, Yunheung Paek

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 90 KB

english, 2002

8

An uncaught exception analysis for Java

Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe

Journal:

Journal of Systems and Software

Year:

2004

Language:

english

File:

PDF, 384 KB

english, 2004

9

An abstract interpretation for estimating uncaught exceptions in Standard ML programs

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.62 MB

english, 1998

10

A cost-effective estimation of uncaught exceptions in Standard ML programs

Kwangkeun Yi, Sukyoung Ryu

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 233 KB

english, 2002

11

Proofs of a set of hybrid let-polymorphic type inference algorithms

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

Journal:

New Generation Computing

Year:

2004

Language:

english

File:

PDF, 1.63 MB

english, 2004

12

Static extensivity analysis for λ-definable functions over lattices

Hyunjun EO, Kwangkeun YI, Kwang-Moo Choe

Journal:

New Generation Computing

Year:

2006

Language:

english

File:

PDF, 1.19 MB

english, 2006

13

LR error repair using the A* algorithm

Ik-Soon Kim, Kwangkeun Yi

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 2.28 MB

english, 2010

14

An empirical study on classification methods for alarms from a bug-finding static C analyzer

Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 259 KB

english, 2007

15

Static insertion of safe and effective memory reuse commands into ML-like programs

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 524 KB

english, 2005

16

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - The implicit calculus

Oliveira, Bruno C.d.S., Schrijvers, Tom, Choi, Wontae, Lee, Wonchan, Yi, Kwangkeun

Year:

2012

Language:

english

File:

PDF, 447 KB

english, 2012

17

Access-based abstract memory localization in static analysis

Oh, Hakjoo, Yi, Kwangkeun

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 817 KB

english, 2013

18

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Test Coverage Metric for Two-Staged Language with Abstract Interpretation

Kim, Taeksu, Lee, Chunwoo, Lee, Kiljoo, Baik, Soohyun, Wu, Chisu, Yi, Kwangkeun

Year:

2009

Language:

english

File:

PDF, 215 KB

english, 2009

19

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Exception analysis for multithreaded Java programs

Sukyoung Ryu,, Kwangkeun Yi,

Year:

2001

Language:

english

File:

PDF, 638 KB

english, 2001

20

[IEEE Comput. Soc. Press 20th International Computer Software and Applications Conference: COMPSAC '96 - Seoul, South Korea (21-23 Aug. 1996)] Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 - Estimating uncaught exceptions in Standard ML programs from type-based equations

Kwangkeun Yi,, Sukyoung Ryu,, Ki-Hyun Pyun,

Year:

1996

Language:

english

File:

PDF, 521 KB

english, 1996

21

[Lecture Notes in Computer Science] Static Analysis Volume 4134 || Memory Leak Analysis by Contradiction

Year:

2006

Language:

english

File:

PDF, 579 KB

english, 2006

22

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3780 || Termination Analysis of Higher-Order Functional Programs

Year:

2005

Language:

english

File:

PDF, 499 KB

english, 2005

23

Goal-directed weakening of abstract interpretation results

Seo, Sunae, Yang, Hongseok, Yi, Kwangkeun, Han, Taisook

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 504 KB

english, 2007

24

Engaging students with theory through ACM collegiate programming contest

Shilov, Nikolay V., Yi, Kwangkeun

Journal:

Communications of the ACM

Year:

2002

Language:

english

File:

PDF, 98 KB

english, 2002

25

Static analysis of multi-staged programs via unstaging translation

Choi, Wontae, Aktemur, Baris, Yi, Kwangkeun, Tatsuta, Makoto

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 578 KB

english, 2011

26

Selective context-sensitivity guided by impact pre-analysis

Oh, Hakjoo, Lee, Wonchan, Heo, Kihong, Yang, Hongseok, Yi, Kwangkeun

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 476 KB

english, 2014

27

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Design and implementation of sparse global analyses for C-like languages

Oh, Hakjoo, Heo, Kihong, Lee, Wonchan, Lee, Woosuk, Yi, Kwangkeun

Year:

2012

Language:

english

File:

PDF, 711 KB

english, 2012

28

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Automatic generation and management of interprocedural program analyses

Yi, Kwangkeun, Harrison, Williams Ludwell

Year:

1993

Language:

english

File:

PDF, 1.26 MB

english, 1993

29

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Static analysis of multi-staged programs via unstaging translation

Choi, Wontae, Aktemur, Baris, Yi, Kwangkeun, Tatsuta, Makoto

Year:

2011

Language:

english

File:

PDF, 578 KB

english, 2011

30

Global Sparse Analysis Framework

Oh, Hakjoo, Heo, Kihong, Lee, Wonchan, Lee, Woosuk, Park, Daejun, Kang, Jeehoon, Yi, Kwangkeun

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 877 KB

english, 2014

31

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Selective context-sensitivity guided by impact pre-analysis

Oh, Hakjoo, Lee, Wonchan, Heo, Kihong, Yang, Hongseok, Yi, Kwangkeun

Year:

2013

Language:

english

File:

PDF, 476 KB

english, 2013

32

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - Interprocedural exception analysis for Java

Chang, Byeong-Mo, Jo, Jang-Wu, Yi, Kwangkeun, Choe, Kwang-Moo

Year:

2001

File:

PDF, 181 KB

2001

33

[ACM Press Proceeding of the ACM first international workshop - Hong Kong, China (2009.11.06-2009.11.06)] Proceeding of the ACM first international workshop on Data-intensive software management and mining - DSMM '09 - Identifying static analysis techniques for finding non-fix hunks in fix revisions

Jung, Yungbum, Oh, Hakjoo, Yi, Kwangkeun

Year:

2009

Language:

english

File:

PDF, 308 KB

english, 2009

34

[ACM Press the 4th international symposium - Vancouver, BC, Canada (2004.10.24-2004.10.25)] Proceedings of the 4th international symposium on Memory management - ISMM '04 - Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs

Lee, Oukseh, Yi, Kwangkeun

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

35

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

Oh, Hakjoo, Lee, Wonchan, Heo, Kihong, Yang, Hongseok, Yi, Kwangkeun

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2015

Language:

english

File:

PDF, 672 KB

english, 2015

36

Automatically inferring loop invariants via algorithmic learning

JUNG, YUNGBUM, KONG, SOONHO, DAVID, CRISTINA, WANG, BOW-YAW, YI, KWANGKEUN

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 409 KB

english, 2015

37

EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 94 KB

english, 2006

38

A polymorphic modal type system for lisp-like multi-staged languages

Kim, Ik-Soon, Yi, Kwangkeun, Calcagno, Cristiano

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 253 KB

english, 2006

39

The implicit calculus

Oliveira, Bruno C.d.S., Schrijvers, Tom, Choi, Wontae, Lee, Wonchan, Yi, Kwangkeun

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 447 KB

english, 2012

40

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Buenos Aires (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Machine-Learning-Guided Selectively Unsound Static Analysis

Heo, Kihong, Oh, Hakjoo, Yi, Kwangkeun

Year:

2017

Language:

english

File:

PDF, 631 KB

english, 2017

41

[IEEE Comput. Soc 11th Working Conference on Reverse Engineering - Delft, Netherlands (8-12 Nov. 2004)] 11th Working Conference on Reverse Engineering - A static reference flow analysis to understand design pattern behavior

Chanjin Park,, Yoohoon Kang,, Chisu Wu,, Kwangkeun Yi,

Year:

2004

Language:

english

File:

PDF, 105 KB

english, 2004

42

Adaptive Static Analysis via Learning with Bayesian Optimization

Heo, Kihong, Oh, Hakjoo, Yang, Hongseok, Yi, Kwangkeun

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски